all:
	g++ csat.cpp -o ../csat
